theoretical computer science professor